pseudo-Boolean algebra